TSTP Solution File: DAT305^1 by SInE---0.4